737 research outputs found
ROSA Analyser: An automatized approach to analyse processes of ROSA
In this work we present the first version of ROSA Analyser, a tool designed
to get closer to a fully automatic process of analysing the behaviour of a
system specified as a process of the Markovian Process Algebra ROSA. In this
first development stage, ROSA Analyser is able to generate the Labelled
Transition System, according to ROSA Operational Semantics.
ROSA Analyser performance starts with the Syntactic Analysis so generating a
layered structure, suitable to then, apply the Operational Semantics Transition
rules in the easier way. ROSA Analyser is able to recognize some states
identities deeper than the Syntactic ones. This is the very first step in the
way to reduce the size of the LTS and then to avoid the state explosion
problem, so making this task more tractable.
For the sake of better illustrating the usefulness of ROSA Analyser, a case
study is also provided within this work.Comment: In Proceedings WS-FMDS 2012, arXiv:1207.1841. Formal model's too
Analysis of the MPEG-2 Encoding Algorithm with ROSA1 1This work has been supported by the CICYT project âPerformance Evaluation of Distributed Systemsâ, TIC2000-0701-C02-02.
AbstractThe authors present both the specification and a performance analysis of the MPEGî¸2 algorithm for video encoding, by using the Stochastic Process Algebra ROSA. This process algebra is a very general framework for describing and analyzing more complex Real Time Systems than the one presented. Some interesting results about the temporal behaviour of the algorithm and an immediate estimation of benefits when having a twin-processors platform have been obtained
A hybrid Quantum proposal to deal with 3-SAT problem
Going as far as possible at SAT problem solving is the main aim of our work.
For this sake we have made use of quantum computing from its two, on practice,
main models of computation. They have required some reformulations over the
former statement of 3-SAT problem in order to accomplish the requirements of
both techniques. This paper presents and describes a hybrid quantum computing
strategy for solving 3-SAT problems. The performance of this approximation has
been tested over a set of representative scenarios when dealing with 3-SAT from
the quantum computing perspective.Comment: 25 pages, 21 figures, 4 table
Quantum invariants for the graph isomorphism problem
Graph Isomorphism is such an important problem in computer science, that it has been widely studied over the last decades. It is well known that it belongs to NP class, but is not NP-complete. It is thought to be of comparable difficulty to integer factorisation. The best known proved algorithm to solve this problem in general, was proposed by LĂĄszlĂł Babai and Eugene Luks in 1983. Recently, there has been some research in the topic by using quantum computing, that also leads the present piece of research. In fact, we present a quantum computing algorithm that defines an invariant over Graph Isomorphism characterisation. This quantum algorithm is able to distinguish more non-isomorphic graphs than most of the known invariants so far. The proof of correctness and some hints illustrating the extent and reason of the improvement are also included in this paper
Risk factors for non-diabetic renal disease in diabetic patients
Background. Diabetic patients with kidney disease have a high prevalence of non-diabetic renal disease (NDRD). Renal and
patient survival regarding the diagnosis of diabetic nephropathy (DN) or NDRD have not been widely studied. The aim of
our study is to evaluate the prevalence of NDRD in patients with diabetes and to determine the capacity of clinical and
analytical data in the prediction of NDRD. In addition, we will study renal and patient prognosis according to the renal
biopsy findings in patients with diabetes.
Methods. Retrospective multicentre observational study of renal biopsies performed in patients with diabetes from 2002 to
2014.
Results. In total, 832 patients were included: 621 men (74.6%), mean age of 61.7 6 12.8 years, creatinine was 2.8 6 2.2 mg/dL
and proteinuria 2.7 (interquartile range: 1.2â5.4) g/24 h. About 39.5% (n Âź 329) of patients had DN, 49.6% (n Âź 413) NDRD and
10.8% (n Âź 90) mixed forms. The most frequent NDRD was nephroangiosclerosis (NAS) (n Âź 87, 9.3%). In the multivariate
logistic regression analysis, older age [odds ratio (OR) Âź 1.03, 95% CI: 1.02â1.05, P < 0.001], microhaematuria (OR Âź 1.51, 95%
CI: 1.03â2.21, P Âź 0.033) and absence of diabetic retinopathy (DR) (OR Âź 0.28, 95% CI: 0.19â0.42, P < 0.001) were independently
associated with NDRD. KaplanâMeier analysis showed that patients with DN or mixed forms presented worse renal
prognosis than NDRD (P < 0.001) and higher mortality (P Âź 0.029). In multivariate Cox analyses, older age (P < 0.001), higher
serum creatinine (P < 0.001), higher proteinuria (P < 0.001), DR (P Âź 0.007) and DN (P < 0.001) were independent risk factors for
renal replacement therapy. In addition, older age (P < 0.001), peripheral vascular disease (P Âź 0.002), higher creatinine
(P Âź 0.01) and DN (P Âź 0.015) were independent risk factors for mortality.
Conclusions. The most frequent cause of NDRD is NAS. Elderly patients with microhaematuria and the absence of DR are
the ones at risk for NDRD. Patients with DN presented worse renal prognosis and higher mortality than those with NDRD.
These results suggest that in some patients with diabetes, kidney biopsy may be useful for an accurate renal diagnosis and
subsequently treatment and prognosis
Wild boar density data generated by camera trapping in nineteen European areas
This report presents the results of field activities in relation to the generation of reliable wild boar density values by camera trapping (CT) in 19 areas in Europe, mainly in East Europe. Random Encounter Model (REM) densities ranged from 0.35Âą0.24 to 15.25Âą2.41 (SE) individuals/km2. No statistical differences in density among bioregions were found. The number of contacts was the component of the trapping rate that determined the coefficient of variation (CV) the most. The daily range (DR) significantly varied as a function of management; the higher values were detected in hunting grounds compared to protected areas, indicating that movement parameters are population specific, and confirming the potential role of hunting activities in increasing wild boar movement and contact rates among individual or groups. The results presented in this report illustrate that a harmonized approach to actual wildlife density estimation (namely for terrestrial mammals) is possible at a European scale, sharing the same protocols, collaboratively designing the study, processing, and analysing the data. This report adds reliable wild boar density values that have the potential to be used for wild boar abundance spatial modelling, both directly or to calibrate outputs of model based on abundance (such as hunting bags) or occurrence data. Future REM developments should focus on improving the precision of estimates (probably through increased survey effort). Next steps require an exhaustive and representative design of a monitoring network to estimate reliable trends of wild boar populations as a function of different factors in Europe. In this regard, the newly created European Observatory of Wildlife will be a network of observation points provided by collaborators from all European countries capable to monitor wildlife population at European level.EFSA-Q-2020-00677Peer reviewe
Long-range and short-range dihadron angular correlations in central PbPb collisions at âsNN=2.76 TeV
This is the pre-print version of the Published Article, which can be accessed from the link below.First measurements of dihadron correlations for charged particles are presented
for central PbPb collisions at a nucleon-nucleon center-of-mass energy of 2.76TeV over a broad range in relative pseudorapidity ( ) and the full range of relative azimuthal angle ( ). The data were collected with the CMS detector, at the LHC. A broadening of the away-side ( ) azimuthal correlation is observed at all , as compared to the measurements in pp collisions. Furthermore, long-range dihadron correlations in are observed for particles with similar values. This phenomenon, also known as the \ridge",
persists up to at least j j = 4. For particles with transverse momenta (pT) of 2-4 GeV/c, the ridge is found to be most prominent when these particles are correlated with particles of pT = 2-6 GeV/c, and to be much reduced when paired with particles of pT = 10-12 GeV/c
- âŚ